forall i. (a -> k i) -> i